21. Exploring Robotics with ROBOTIS Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science. , Programming languages (Electronic computers) , Artificial intelligence.

رده :
E-Book
,

22. Formal Methods and Software Development :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

23. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz

رده :
QA
76
.
L28
Vol
.
2300

24. Foundations of Programming Languages /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)

رده :
QA76
.
76
.
C65

25. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
489

26. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
64
.
R49
1990

27. Fundamentals of Python :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Programming languages (Electronic computers),Python (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science),Python (Computer program language)

رده :
QA76
.
73
.
P98
L353
2019

28. Generalized quantifiers and computation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

29. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1754

30. Grammars and automata for string processing: from mathematics and computer science to biology, and back

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages

رده :
QA
76
.
G64
2003

31. Grammars and automata for string processing : from mathematics and computer science to biology, and back

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-

رده :
QA
76
.
G69

32. Graph data model and its data language

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Data base management,Data structures )Computer science(,Programming languages )Electronic computers(

رده :
QA
.
D3K86
76
.
9
1990

33. Great papers in computer science

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Computer science,، Programming languages )Electronic computers(

34. Indexing techniques for advanced database systems

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Object-oriented databases,، Object-oriented programming )Computer science(,، Database management,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
D3
.
I523
1997

35. Initial computability, algebraic specifications, and partial algebras

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

رده :
QA
76
.
9
.
M35R45
1987

36. Interactive computer graphics : data structures, algorithms, languages

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer graphics,، Interactive computer systems,، Algorithms,، Programming languages )Electronic computers(,، Data structures )Computer science(

رده :
T
385
.
G54

37. Introducing regular expressions

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Text processing (Computer science),Programming languages (Electronic computers),Electronic data processeing,data processing,متن‌پردازی,زبان‌های برنامه‌نویسی کامپیوتر,داده پردازی ,a03,a04,a05,a05,a03,a04,a05

رده :
QA
76
.
9
.
F5I5
2012
E-Book
,

38. Introducing regular expressions /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Electronic data processing.,Programming languages (Electronic computers),Text processing (Computer science)

رده :
QA76
.
9
.
T48
F58
2012

39. Introduction to compiler design

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Compilers )Computer programs(,، Computer science,، Programming languages )Electronic computers(

رده :
QA
76
.
76
.
C65M63
2017

40. Learning regular expressions /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming.,Programming languages (Electronic computers),Regular expressions (Computer science),Computer programming.,Programming languages (Electronic computers),Text processing (Computer science)

رده :
QA76
.
9
.
T48